$\forall$$A$:Type, ${\it es}$:ES, $v$:AbsInterface($A$). glued(${\it es}$; $A$; ($\lambda$$e$.$v$($e$)); $v$; $v$)